* texinfo.tex: Merge from gnulib.
authorPaul Eggert <eggert@cs.ucla.edu>
Thu, 13 Sep 2012 07:28:15 +0000 (00:28 -0700)
committerPaul Eggert <eggert@cs.ucla.edu>
Thu, 13 Sep 2012 07:28:15 +0000 (00:28 -0700)
commitf4b096c9e22aeda46202062bb2946552f45c4813
tree28070112768f49171e34d689fe3bf1c3bd1f537d
parenta28bc8c3eec429c65245c7c27376e9c1e4a786ec
* texinfo.tex: Merge from gnulib.
doc/misc/ChangeLog
doc/misc/texinfo.tex